منابع مشابه
Traceability Across Refinement Steps in UML Modeling
Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in differe...
متن کاملMillions of 'snips' will harm millions of men.
To the Editor: No one knows how many people die due to HIV-related causes in South Africa every year. According to the latest statistical release, HIV is the 9th leading underlying cause of death in the country.1 This is hard to believe. Research has shown that only about 25% of all deaths related to HIV are notified as such2 – either ‘HIV’ as an underlying or contributing cause of death is lef...
متن کاملOn Millions of Cores ∗
Petascale parallel computers with more than a million processing cores are expected to be available in a couple of years. Although MPI is the dominant programming interface today for large-scale systems that at the highest end already have close to 300,000 processors, a challenging question to both researchers and users is whether MPI will scale to processor and core counts in the millions. In ...
متن کاملMining millions of metaphors
One of the first decisions made in any research concerns the selection of an appropriate scale of analysis – are we looking out into the heavens, or down into atoms? To conceive a digital library as a collection of a million books may restrict analysis to only one level of granularity. In this paper we examine the consequences and opportunities resulting from a shift in scale, where the desired...
متن کاملa comparative pragmatic analysis of the speech act of “disagreement” across english and persian
the speech act of disagreement has been one of the speech acts that has received the least attention in the field of pragmatics. this study investigates the ways power relations, social distance, formality of the context, gender, and language proficiency (for efl learners) influence disagreement and politeness strategies. the participants of the study were 200 male and female native persian s...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advanced Technologies in Mechanics
سال: 2017
ISSN: 2392-0327
DOI: 10.17814/atim.2016.1(6).36